testcase TC_CR_FE_BV_03() runs on EutComp system TestAdapter {
  var ChargeReport chargeReport1 : = null;
  var ChargeReport chargeReport2 : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_transactionCounter_requested );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1 ) -> value chargeReport1 {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1 ) -> value chargeReport2 {
          t_ac . stop;
          if ( ( chargeReport2 . transactionCounter - chargeReport1 . transactionCounter ) < = 0 ) {
            setverdict ( fail );
          }
          else {
            setverdict ( pass );
            pco . send ( m_chargeReportResponse_transactionCounter ( PX_TRANSACTION_COUNTER_RESPONSE ) );
          }
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_CR_FE_BV_03: Verify that Transaction Counter is incremented

Remarks

[TS 17575-1], Clause 6.3.5 transactionCounter